Treharne, Helen : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (55)
Les plus populaires
Liste
- Liste
- Tableau

Investigating a file transfer protocol using CSP and B

Neil Evans, Helen Treharne

Journal:

Software & Systems Modeling

Année:

2005

Langue:

english

Fichier:

PDF, 3.58 MB

english, 2005

Techniques for modelling and verifying railway interlockings

James, Phillip, Moller, Faron, Nguyen, Hoang Nga, Roggenbach, Markus, Schneider, Steve, Treharne, Helen

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2014

Langue:

english

Fichier:

PDF, 1.67 MB

english, 2014

ICT—the hopes and the reality

David Reynolds, Dave Treharne, Helen Tripp

Journal:

British Journal of Educational Technology

Année:

2003

Langue:

english

Fichier:

PDF, 99 KB

english, 2003

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7321 ||

Derrick, John, Gnesi, Stefania, Latella, Diego, Treharne, Helen

Année:

2012

Langue:

english

Fichier:

PDF, 7.50 MB

english, 2012

Book Reviews

Hickman, Gill, Treharne, Andy, Howarth, Sue, Glanville, Julia, Delpech, Roger, Pilcher, Helen, Jones, Cory, Strange, Hannah, Sherburn, Richard, Bushell, Jean, Tunnicliffe, Sue Dale, Burr, Alistair

Journal:

Journal of Biological Education

Année:

2002

Langue:

english

Fichier:

PDF, 5.84 MB

english, 2002

Anonymous Single Sign-on with Proxy Re-Verification

Han, Jinguang, Chen, Liqun, Schneider, Steve, Treharne, Helen, Wesemeyer, Stephan, Wilson, Nick

Journal:

IEEE Transactions on Information Forensics and Security

Année:

2019

Langue:

english

Fichier:

PDF, 2.42 MB

english, 2019

Intuitive eating and gestational weight gain

Paterson, Helen, Treharne, Gareth J., Horwath, Caroline, Haszard, Jillian J., Herbison, Peter, Hay-Smith, E. Jean C.

Journal:

Eating Behaviors

Année:

2019

Langue:

english

Fichier:

PDF, 553 KB

english, 2019

[IEEE 2019 IEEE European Symposium on Security and Privacy (EuroS&P) - Stockholm, Sweden (2019.6.17-2019.6.19)] 2019 IEEE European Symposium on Security and Privacy (EuroS&P) - A Symbolic Analysis of ECC-Based Direct Anonymous Attestation

Whitefield, Jorden, Chen, Liqun, Sasse, Ralf, Schneider, Steve, Treharne, Helen, Wesemeyer, Stephan

Année:

2019

Langue:

english

Fichier:

PDF, 370 KB

english, 2019

Linking Semantic Models to Support CSP ∥ B Consistency Checking

Neil Evans, Helen Treharne

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 271 KB

english, 2006

Tank Monitoring: A pAMN Case Study

Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 297 KB

english, 2005

Changing system interfaces consistently: A new refinement strategy for

Steve Schneider, Helen Treharne

Journal:

Science of Computer Programming

Année:

2011

Langue:

english

Fichier:

PDF, 453 KB

english, 2011

CSP theorems for communicating B machines

Steve Schneider, Helen Treharne

Journal:

Formal Aspects of Computing

Année:

2005

Langue:

english

Fichier:

PDF, 312 KB

english, 2005

Tank monitoring: a pAMN case study

Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne

Journal:

Formal Aspects of Computing

Année:

2006

Langue:

english

Fichier:

PDF, 1.11 MB

english, 2006

Interactive tool support for CSP || B consistency checking

Neil Evans, Helen Treharne

Journal:

Formal Aspects of Computing

Année:

2007

Langue:

english

Fichier:

PDF, 766 KB

english, 2007

Applying CSP || B to information systems

Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier

Journal:

Software & Systems Modeling

Année:

2008

Langue:

english

Fichier:

PDF, 1.60 MB

english, 2008

Preface

Marie-Laure Potet, Helen Treharne

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2011

Langue:

english

Fichier:

PDF, 107 KB

english, 2011

Bounded Retransmission in Event-B∥CSP: a Case Study

Steve Schneider, Helen Treharne, Heike Wehrheim

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2011

Langue:

english

Fichier:

PDF, 276 KB

english, 2011

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Refinement and Reachability in Event_B

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 829 KB

english, 2005

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7321 || Model Checking as Static Analysis: Revisited

Derrick, John, Gnesi, Stefania, Latella, Diego, Treharne, Helen

Année:

2012

Langue:

english

Fichier:

PDF, 308 KB

english, 2012

The behavioural semantics of Event-B refinement

Schneider, Steve, Treharne, Helen, Wehrheim, Heike

Journal:

Formal Aspects of Computing

Année:

2014

Langue:

english

Fichier:

PDF, 1.18 MB

english, 2014

An integrated framework for checking the behaviour of fUML models using CSP

Islam Abdelhalim, Steve Schneider, Helen Treharne

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2013

Langue:

english

Fichier:

PDF, 3.19 MB

english, 2013

On modelling and verifying railway interlockings: Tracking train lengths

James, Phillip, Moller, Faron, Nga Nguyen, Hoang, Roggenbach, Markus, Schneider, Steve, Treharne, Helen

Journal:

Science of Computer Programming

Année:

2014

Langue:

english

Fichier:

PDF, 1.08 MB

english, 2014

[IEEE 2013 Eleventh Annual Conference on Privacy, Security and Trust (PST) - Tarragona, Spain (2013.07.10-2013.07.12)] 2013 Eleventh Annual Conference on Privacy, Security and Trust - Policy templates for relationship-based access control

Aktoudianakis, Evangelos, Crampton, Jason, Schneider, Steve, Treharne, Helen, Waller, Adrian

Année:

2013

Langue:

english

Fichier:

PDF, 297 KB

english, 2013

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 250 KB

english, 2005

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7321 || Formal Verification of Compiler Transformations on Polychronous Equations

Derrick, John, Gnesi, Stefania, Latella, Diego, Treharne, Helen

Année:

2012

Langue:

english

Fichier:

PDF, 295 KB

english, 2012

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || A Rigorous Foundation for Pattern-Based Design Models

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 480 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || An Object-Oriented Structuring for Z Based on Views

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 235 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || A Prospective-Value Semantics for the GSL

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 177 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Process Refinement in B

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 210 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Visualising Larger State Spaces in Pro B

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 740 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification —Extended Abstract—

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 86 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Using B as a High Level Programming Language in an Industrial Project: Roissy VAL

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 136 KB

english, 2005

Special issue on Automated Verification of Critical Systems (AVoCS 2013)

Schneider, Steve, Treharne, Helen

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 118 KB

english, 2015

Foundations for using linear temporal logic in Event-B refinement

Hoang, Thai Son, Schneider, Steve, Treharne, Helen, Williams, David M.

Journal:

Formal Aspects of Computing

Année:

2016

Langue:

english

Fichier:

PDF, 979 KB

english, 2016

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Development via Refinement in Probabilistic B — Foundation and Case Study

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 217 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || The Challenge of Probabilistic Event B—Extended Abstract—

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 142 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Including Design Guidelines in the Formal Specification of Interfaces in Z

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 147 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Model Checking Z Specifications Using SAL

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 172 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || A Stepwise Development of the Peterson’s Mutual Exclusion Algorithm Using B Abstract Systems

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 194 KB

english, 2005

[IEEE 2017 IEEE Vehicular Networking Conference (VNC) - Torino, Italy (2017.11.27-2017.11.29)] 2017 IEEE Vehicular Networking Conference (VNC) - Privacy-enhanced capabilities for VANETs using direct anonymous attestation

Whitefield, Jorden, Chen, Liqun, Giannetsos, Thanassis, Schneider, Steve, Treharne, Helen

Année:

2017

Langue:

english

Fichier:

PDF, 229 KB

english, 2017

[ACM Press the 10th ACM workshop - Oxford, United Kingdom (2008.09.22-2008.09.23)] Proceedings of the 10th ACM workshop on Multimedia and security - MM&Sec '08 - Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol

Williams, David M., Treharne, Helen, Ho, Anthony T.S., Culnane, Chris

Année:

2008

Langue:

english

Fichier:

PDF, 307 KB

english, 2008

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Non-atomic Refinement in Z and CSP

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 243 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Checking JML Specifications with B Machines

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 241 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || CZT: A Framework for Z Tools

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 312 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Practical Data Refinement for the Z Schema Calculus

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 222 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Formal Program Development with Approximations

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 203 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 199 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Some Guidelines for Formal Development of Web-Based Applications in B-Method

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 220 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 168 KB

english, 2005

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || An Extension of Event B for Developing Grid Systems

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Année:

2005

Langue:

english

Fichier:

PDF, 499 KB

english, 2005